fascinating facts about the panama canal